On the Expressive Power of Concurrent Constraint Programming Languages

On the Expressive Power of Concurrent Constraint Programming Languages

The tcc paradigm is a formalism for timed concurrent constraint programming. Several tcc languages differing in their way of expressing infinite behavior have been proposed in the literature. In this paper we study the expressive power of some of these languages. In particular, we show that: (1) recursive procedures with parameters can be encoded into parameterless recursive procedures with dyn...

On the Expressive Power of Programming Languages

The literature on programming languages contains an abundance of informal claims on the relative expressive power of programming languages, but there is no framework for formalizing such statements nor for deriving interesting consequences. As a rst step in this direction, we develop a formal notion of expressiveness and investigate its properties. To validate the theory, we analyze some widely...

Programming in Timed Concurrent Constraint Languages

4.4 Programming in Timed Concurrent Constraint Languages

The areas of Qualitative Reasoning about physical systems (Weld and de Kleer 1989), reasoning about action and state change (Ginsberg 1987), reactive, real-time computing (Real-time systems 1991) and concurrent programming languages (Milner 1980; Hoare 1985) are areas of inquiry that are fundamentally about the same subject matter — the representation, design and analysis of continuous and disc...

Expressive Power of Query Languages for Constraint Complex Value Databases

Motivated by constraint complex values which allow us to represent nested finitely representable sets, we study the expressive power of various query languages over constraint complex value databases. The tools we use come in the form of collapse results which are well established results in the context of first-order logic. We show that activegeneric collapse carries over to second-order logic...